RV4JaCa - Runtime Verification for Multi-Agent Systems

This paper presents a Runtime Verification (RV) approach for Multi-Agent Systems (MAS) using the JaCaMo framework. Our objective is to bring a layer of security to the MAS. This layer is capable of controlling events during the execution of the system without needing a specific implementation in the behaviour of each agent to recognise the events. MAS have been used in the context of hybrid intelligence. This use requires communication between software agents and human beings. In some cases, communication takes place via natural language dialogues. However, this kind of communication brings us to a concern related to controlling the flow of dialogue so that agents can prevent any change in the topic of discussion that could impair their reasoning. We demonstrate the implementation of a monitor that aims to control this dialogue flow in a MAS that communicates with the user through natural language to aid decision-making in hospital bed allocation

Explaining Semantic Reasoning Using Argumentation

Multi-Agent Systems (MAS) are popular because they provide a paradigm that naturally meets the current demand to design and implement distributed intelligent systems. When developing a multi-agent application, it is common to use ontologies to provide the domain-specific knowledge and vocabulary necessary for agents to achieve the system goals. In this paper, we propose an approach in which agents can query semantic reasoners and use the received inferences to build explanations for such reasoning. Also, thanks to an internal representation of inference rules used to build explanations, in the form of argumentation schemes, agents are able to reason and make decisions based on the answers from the semantic reasoner. Furthermore, agents can communicate the built explanation to other agents and humans, using computational or natural language representations of arguments. Our approach paves the way towards multi-agent systems able to provide explanations from the reasoning carried out by semantic reasoners

Efeito do nível de energia metabolizável da dieta sobre a composição de carcaça de frangos de corte de três diferentes linhagens.

ABSTRACT : The objective of this study was to evaluate the effect of diet energy level over carcass composition of broilers from three different commercial genetics. A completely randomized design was used, and treatments followed a factorial design with three dietary energy values (low, medium and high) and three genetics (A, B and C). Percentages of fat, protein, water and collagen in the carcass were evaluated at 42 days old. The data was submitted to analysis of variance and compared by Tukey test with 5% of probability. There was no interaction between energy and genetic (P>0,05). The genetics differed by carcass fat and protein values. Low energy diet resulted in higher fat percentage, while high diet energy improved carcass protein and water content. The use of high energy diets allowed for better expression of broilers? genetic potential for muscular tissue deposition. Resumo: Na produção avícola atual, além de ótimo peso de abate e melhor conversão alimentar, tem se buscado qualidade na composição da carcaça, visando atender as exigências do mercado consumidor. A seleção genética para rápido crescimento leva a adoção de novos critérios de manejo e nutrição para maximizar o bem estar animal, produtividade e otimizar custos, bem como gerar produtos de qualidade. Estudos demonstram que o nível energético da dieta é um fator de forte influência sobre a qualidade da carcaça de frangos e que níveis maiores de energia na dieta podem levar a maior deposição de gordura abdominal (Barbosa et al., 2008; Rosa et al., 2007; Meza et al., 2015). O objetivo do estudo foi avaliar o efeito do consumo de energia sobre a composição de carcaça de frangos de corte machos de três diferentes linhagens

Temporal networks of face-to-face human interactions

The ever increasing adoption of mobile technologies and ubiquitous services allows to sense human behavior at unprecedented levels of details and scale. Wearable sensors are opening up a new window on human mobility and proximity at the finest resolution of face-to-face proximity. As a consequence, empirical data describing social and behavioral networks are acquiring a longitudinal dimension that brings forth new challenges for analysis and modeling. Here we review recent work on the representation and analysis of temporal networks of face-to-face human proximity, based on large-scale datasets collected in the context of the SocioPatterns collaboration. We show that the raw behavioral data can be studied at various levels of coarse-graining, which turn out to be complementary to one another, with each level exposing different features of the underlying system. We briefly review a generative model of temporal contact networks that reproduces some statistical observables. Then, we shift our focus from surface statistical features to dynamical processes on empirical temporal networks. We discuss how simple dynamical processes can be used as probes to expose important features of the interaction patterns, such as burstiness and causal constraints. We show that simulating dynamical processes on empirical temporal networks can unveil differences between datasets that would otherwise look statistically similar. Moreover, we argue that, due to the temporal heterogeneity of human dynamics, in order to investigate the temporal properties of spreading processes it may be necessary to abandon the notion of wall-clock time in favour of an intrinsic notion of time for each individual node, defined in terms of its activity level. We conclude highlighting several open research questions raised by the nature of the data at hand.Comment: Chapter of the book "Temporal Networks", Springer, 2013. Series: Understanding Complex Systems. Holme, Petter; Saram\"aki, Jari (Eds.

Ensilagem de cereais de inverno.

A produção animal para ser racionalmente conduzida, depende fundamentalmente de um adequado planejamento forrageiro que garante a estabilidade produtiva e permite projetar as despesas e receitas. A sazonalidade produtiva das pastagens é marcada pelos efeitos das intempéries climáticas que estão mais frequentes e intensas. Na região Sul do Brasil, baixas temperaturas, geadas e estiagens, na região Norte e Centro-Oeste estações secas e chuvosas levam à alternância na produção das pastagens, ou seja, excesso e forragem em condições favoráveis (regime hídrico e temperatura) e escassez (secas e temperaturas baixas)

Utilização estratégica de gramíneas anuais de verão para vazio forrageiro outonal e cobertura de solo.

Culturas como milheto e sorgos são espécies de crescimento intensivo, altamente produtivos e de elevado valor nutritivo. Geralmente são estabelecidos em sucessão aos cereais de inverno e pastagens anuais, muito importantes para sistemas de produção intensivos principalmente para bovinos confinados, vacas leiteiras, novilhas e terneiras de reposição na região sul-brasileira. Na região tropical brasileira é cultivado na safrinha e como cobertura de solo

Integração lavoura-pecuária-floresta: intensificação sustentável para a sobrevivência humana.

Made available in DSpace on 2019-09-11T00:44:48Z (GMT). No. of bitstreams: 1 ID446792019v29n170p32PlantioDireto.pdf: 8522062 bytes, checksum: 0734f975e8dfc0281f93647d4b30a446 (MD5) Previous issue date: 2019bitstream/item/201799/1/ID44679-2019v29n170p32PlantioDireto.pd

Uso de grãos de cereais de inverno na suplementação de ruminantes em sistemas de integração lavoura-pecuária (ILP).

Este artigo tem como objetivo abordar a utilização dos grãos de cereais de inverno, na alimentação animal, bem como as diferentes formas de conservá-los, seja na forma seca, via fenação ou na forma úmida, via ensilagem